Section: Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Collaboration within the Inria/Microsoft Research Joint Centre
We participate in the collaboration Mathematical Components 2 with Microsoft Research. Currently, the main thrust lies around the exploitation of results in the Mathematical Components library, which was our main point of focus until the completion of the proof of the Feit-Thompson theorem.